Context analysis

Results: 815



#Item
11

Refinement-Based Context-Sensitive Points-To Analysis for Java Manu Sridharan, Rastislav Bodík UC Berkeley PLDI

Add to Reading List

Source URL: manu.sridharan.net

- Date: 2018-02-03 20:39:22
    12

    IS “TRUTHTELLING” DECONTEXTUALIZED ONLINE STILL REASONABLE? RESTORING CONTEXT TO DEFAMATION ANALYSIS IN THE DIGITAL AGE

    Add to Reading List

    Source URL: www.lco-cdo.org

    - Date: 2017-07-25 14:36:13
      13

      Sustainability Report 2011 GRI Content Index 1. STRATEGY AND ANALYSIS This section is intended to provide a high-level, strategic view of the company’s relationship to sustainability in order to provide context for sub

      Add to Reading List

      Source URL: www.vaillant-group.com

        14

        Efficient, Context-Sensitive Dynamic Analysis via Calling Context Uptrees Jipeng Huang & Michael D. Bond (Ohio State University

        Add to Reading List

        Source URL: engineering.purdue.edu

        - Date: 2011-05-30 18:44:29
          15

          Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis Guoqing Xu1 , Atanas Rountev1 , and Manu Sridharan2 2

          Add to Reading List

          Source URL: manu.sridharan.net

          - Date: 2018-02-03 20:39:22
            16

            1 Context Generation from Formal Specifications for C Analysis Tools Michele Alberti1

            Add to Reading List

            Source URL: www.sci.unich.it

            - Date: 2017-10-23 05:14:22
              17

              Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

              Add to Reading List

              Source URL: research.microsoft.com

              - Date: 2009-09-21 16:41:38
                18

                Uli Kortsch: My purposes in extracting this portion from the monetary analysis of Friedman and Schwartz, as seen by the yellow highlights in the body of the text are: To show the historical economic and political context

                Add to Reading List

                Source URL: www.infrastructurewithoutdebt.org

                - Date: 2015-06-20 18:46:44
                  19

                  Sustainability of Linguistic Data and Analysis in the Context of a Collaborative eScience Environment Erhard Hinrichs, Verena Henrich, Thomas Zastrow University of Tübingen, Department of Linguistics Wilhelmstr. 19, 720

                  Add to Reading List

                  Source URL: www.lrec-conf.org

                  - Date: 2010-06-28 09:24:23
                    20

                    Hybrid Context-Sensitivity for Points-To Analysis George Kastrinis Yannis Smaragdakis Department of Informatics

                    Add to Reading List

                    Source URL: yanniss.github.io

                    - Date: 2016-12-22 12:58:04
                      UPDATE